nested quantifiers -discrete mathematics